We discuss some methodological aspects of the relation between physics and metaphysics by dealing specifically with the case of non-relativistic quantum mechanics. Our main claim is that current attempts to productively integrate quantum mechanics and metaphysics are best seen as approaches of what should be called ‘the metaphysics of science’, which is developed by applying already existing metaphysical concepts to scientific theories. We argue that, in this perspective, metaphysics must be understood as an autonomous discipline. It results that this metaphysics (...) cannot hope to derive any kind of justification from science. Thus, one of the main motivations of such project, which is the obtaining of a scientifically respectable justification for the attribution of a single true metaphysical profile to the posits of a scientific theory, is doomed because of the emergence of metaphysical underdetermination from the outset. If metaphysics floats free from physics, which is a premise of such project of integration between these two areas, then it is always possible to attribute more than one metaphysical profile to dress physical entities. (shrink)

We articulate a distinction between ontology, understood as involving existence questions, and metaphysics, understood as either providing for metaphysical profiles of entities or else as dealing with fundamentality and/or grounding and dependence questions. The distinction, we argue, allows a better understanding of the roles of metaontology and metametaphysics when it comes to discussing the relations between ontology and science on the one hand, and metaphysics and science on the other. We argue that while ontology, as understood in this paper, may (...) have reasonable perspectives for naturalization, given its relation to science, the same cannot be said for metaphysics, given that it is typically understood as an additional theoretical layer over science, not participating in the scientific investigation. That may result either in skepticism over metaphysics, or else on accepting that metaphysics is an autonomous branch of investigation, depending on one’s concern for metaphysics. (shrink)

Sumário: 1. El caso del método científico, Alberto Oliva; 2. Un capítulo de la prehistoria de las ciencias humanas: la defensa por Vico de la tópica, Jorge Alberto Molina; 3. La figura de lo cognoscible y los mundos, Pablo Vélez León; 4. Lebenswelt de Husserl y las neurociencias, Vanessa Fontana; 5. El uso estético del concepto de mundos posibles, Jairo Dias Carvalho; 6. Realismo normativo no naturalista y mundos morales imposibles, Alcino Eduardo Bonella; 7. En la lógica de pragmatismo, Hércules (...) de Araujo Feitosa, Luiz Henrique da Cruz Silvestrini; 8 La lógica, el tiempo y el lenguaje natural: un sistema formal para tiempos de portugués, Carlos Luciano Manholi. / Temas em filosofia contemporânea II / Jonas Rafael Becker Arenhart, Jaimir Conte, Cezar Augusto Mortari (orgs.) – Florianópolis : NEL/UFSC, 2016. 167 p. : tabs. - (Rumos da epistemologia ; v. 14); ISBN 978-85-87253-27-9 (papel); ISBN 978-85-87253-26-2 (e-book). (shrink)

Scientific realism is typically associated with metaphysics. One current incarnation of such an association concerns the requirement of a metaphysical characterization of the entities one is being a realist about. This is sometimes called “Chakravartty’s Challenge”, and codifies the claim that without a metaphysical characterization, one does not have a clear picture of the realistic commitments one is engaged with. The required connection between metaphysics and science naturally raises the question of whether such a demand is appropriately fulfilled, and how (...) metaphysics engages with science in order to produce what is called “scientific metaphysics”. Here, we map some of the options available in the literature, generating a conceptual spectrum according to how each view approximates science and metaphysics. This is done with the purpose of enlightening the current debate on the possibility of epistemic warrant that science could grant to such a metaphysics, and how different positions differently address the thorny issue concerning such a warrant. (shrink)

Nonrelativistic quantum mechanics (QM) works perfectly well for all practical purposes. Once one admits, however, that a successful scientific theory is supposed not only to make predictions but also to tell us a story about the world in which we live, a philosophical problem emerges: in the specific case of QM, it is not possible to associate with the theory a unique scientific image of the world; there are several images. The fact that the theory may be compatible with distinct (...) ontologies, and that those ontologies may themselves be associated with a plurality of metaphysical approaches, gives rise to the problem of metaphysical underdetermination. This paper concludes that the available metametaphysical criteria fail to deliver objectivity in theory choice, and it puts forward its own criterion based on a tension between two methods of metaphysical inquiry: one that is closely related to science and another that is not. (shrink)

It is sometimes argued that, given its detachment from our current most successful science, analytic metaphysics has no epistemic value because it contributes nothing to our knowledge of reality. Relatedly, it is also argued that metaphysics properly constrained by science can avoid that problem. In this paper we argue, however, that given the current understanding of the relation between science and metaphysics, metaphysics allegedly constrained by science suffers the same fate as its unconstrained sister; that is, what is currently thought (...) of as scientifically respectful metaphysics may end up also being without epistemic value. The core of our claim is that although much emphasis is put on the supposed difference between unconstrained analytic metaphysics, in opposition to scientifically constrained metaphysics, it is largely forgotten that no clear constraining relation of metaphysics by science is yet available. (shrink)

This paper presents and critically discusses the “logos approach to quantum mechanics” from the point of view of the current debates concerning the relation between metaphysics and science. Due to its alleged direct connection with quantum formalism, the logos approach presents itself as a better alternative for understanding quantum mechanics than other available views. However, we present metaphysical and methodological difficulties that seem to clearly point to a different conclusion: the logos approach is on an epistemic equal footing among alternative (...) realist approaches to quantum mechanics. (shrink)

‘Shallow’ and ‘deep’ versions of scientific realism may be distinguished as follows: the shallow realist is satisfied with belief in the existence of the posits of our best scientific theories; by contrast, deep realists claim that realism can be legitimate only if such entities are described in metaphysical terms. We argue that this methodological discussion can be fruitfully applied in Everettian quantum mechanics, specifically on the debate concerning the existence of worlds and the recent dispute between Everettian actualism and quantum (...) modal realism. After presenting what is involved in such dispute, we point to a dilemma for realists: either we don’t have the available metaphysical tools to answer the deep realist’s demands, and realism is not justified in this case, or such demands of metaphysical dressing are not mandatory for scientific realism, and deep versions of realism are not really required. (shrink)

ABSTRACT Traditionally, being a realist about something means believing in the independent existence of that something. In this line of thought, a scientific realist is someone who believes in the objective existence of the entities postulated by our best scientific theories. In metaphysical terms, what does that mean? In ontological terms, i.e., in terms of what exists, scientific realism can be understood as involving the adoption of a scientifically informed ontology. But according to some philosophers, a realistic attitude must go (...) beyond ontology. The way in which this requirement has been understood involves providing a metaphysics for the entities postulated by science, that is, answering questions about the nature of what ontology admits to exist. We discuss how two fashionable approaches face the challenge of providing a metaphysics for science: a form of naturalism and the Viking/Toolbox approach. Finally, we present a third way, which adopts the best of both approaches: the meta-Popperian method, which focuses on discarding the wrong alternatives, or better saying, the metaphysical profiles incompatible with certain theories. We present the meta-Popperian method, a metametaphysical method capable of objectively assessing which metaphysical profiles are incompatible with certain scientific theories. For this, we will use quantum mechanics as a case study, presenting some previously obtained results. As our focus is on methodological questions about the relationship between metaphysics and science; with this method, we can see how science can be used to avoid error in metaphysical issues. In our opinion, this would be a way to develop a productive relationship between science and metaphysics. (shrink)

In this article, we discuss some of the challenges related to formulating and adopting a realist position regarding non-relativistic quantum mechanics. In a standard approach to ontology, the ontological commitments of scientific theories can be extracted from them. Scientific realism is the standpoint that our best scientific theories are approximately true, and thus, their ontological commitments, roughly speaking, correspond to reality. Quantum mechanics complicates this view by introducing an interpretational requirement that links a particular conception of how reality should be (...) to the theory. This generates comprehensive difficulties: when we separate theory and interpretation, we have a clear conception of theory but not of interpretation and how to extract its ontology. On the other hand, if we somehow identify theory and interpretation, we have a reasonably clear conception of the desired ontology but lose our best characterizations of theory, rendering our methods for extracting ontology ineffective. Our aim is to map out the challenges for future rigorous realist approaches to quantum mechanics. (shrink)

Ever since its beginnings, standard quantum mechanics has been associated with a metaphysical view according to which the theory deals with non-individual objects, i.e., objects deprived of individuality in some sense of the term. We shall examine the grounds of the claim according to which quantum mechanics is so closely connected with a metaphysics of non-individuals. In particular, we discuss the attempts to learn the ‘metaphysical lessons’ required by quantum mechanics coming from four distinct roads: from the formalism of the (...) theory, treating separately the case of the physics and the underlying logic; from the ontology of the theory, understood as the furniture of the world according to the theory; and, at last, we analyze whether a metaphysics of non-individuals is indispensable from a purely metaphysical point of view. We argue that neither non-individuality nor individuality is to be found imposed on us in any of these levels so that it should be seen as a metaphysical addition to the theory, rather than as a lesson from it. (shrink)

Sören Halldén’s logic of nonsense is one of the most well-known many-valued logics available in the literature. In this paper, we discuss Peter Woodruff’s as yet rather unexplored attempt to advance a version of such a logic built on the top of a constructive logical basis. We start by recalling the basics of Woodruff’s system and by bringing to light some of its notable features. We then go on to elaborate on some of the difficulties attached to it; on our (...) way to offer a possible solution to such difficulties, we discuss the relation between Woodruff’s system and two-dimensional semantics for many-valued logics, as developed by Hans Herzberger. (shrink)

Anti‐exceptionalism about logic is the view that logic is not special; it is just like empirical sci‐ ence in many respects. In particular, it is thought that an anti‐exceptionalist must also hold that logical theories are completely a posteriori. However, it is not clear what it means to say that logical theories are a posteriori, for the a priori/a posteriori divide has been explored from different perspectives in contemporary philosophy. The central claim of this paper is to argue that logical (...) anti‐exceptionalism is quite compatible with the a priori, if the a priori/a posteriori divide is understood in the lines recently developed by Tuomas Tahko. The con‐ ception advanced by Tahko is characterized by an interplay between a priori and a posteriori knowledge, generating a bootstrapping relation in which one kind of knowledge constantly substantiates the other. We further present some of the advantages of the bootstrapping approach over the current epistemology associated with anti‐exceptionalism. (shrink)

Logical anti-exceptionalism is the view that logic is not special among the sciences. In particular, anti-exceptionalists claim that logical theory choice is effected on the same bases as any other theory choice procedure, i.e., by abduction, by weighting pros and cons of rival views, and by judging which theory scores best on a given set of parameters. In this paper, we first present the anti-exceptionalists favourite method for logical theory choice. After spotting on important features of the method, we discuss (...) how they lead to trouble when the subject matter of choice is logic itself. The major difficulty we find concerns the role of the logic employed to evaluate theory choice, or, more specifically, the role of the metalanguage employed to run the abductive method. When rival logical theories are being evaluated and compared, we argue, it is difficult not to beg some important questions; the metalanguage introduce biases difficult to avoid. These difficulties seem to be inherent to the method described. We suggest that they put some constraints on the scope of application of the method of abductive theory choice in logic and on the kind of disputes the anti-exceptionalist may plausibly expect to solve with it. We end the paper with some suggestions for how the anti-exceptionalist may address these issues on this front. (shrink)

This chapter argues that the general philosophy of science should learn metaphilosophical lessons from the case of metaphysical underdetermination, as it occurs in non-relativistic quantum mechanics. Section presents the traditional discussion of metaphysical underdetermination regarding the individuality and non-individuality of quantum particles. Section discusses three reactions to it found in the literature: eliminativism about individuality; conservatism about individuality; eliminativism about objects. Section wraps it all up with metametaphysical considerations regarding the epistemology of metaphysics of science.

Philosophers of science commonly connect ontology and science, stating that these disciplines maintain a two-way relationship: on the one hand, we can extract ontology from scientific theories; on the other hand, ontology provides the realistic content of our scientific theories. In this article, we will critically examine the process of naturalizing ontology, i.e., confining the work of ontologists merely to the task of pointing out which entities certain theories commit themselves to. We will use non-relativistic quantum mechanics as a case (...) study. We begin by distinguishing two roles for ontology: the first would be characterized by cataloging existing entities according to quantum mechanics; the second would be characterized by establishing more general ontological categories in which existing entities must be classified. We argue that only the first step is available for a naturalistic approach; the second step not being open for determination or anchoring in science. Finally, we also argue that metaphysics is still a step beyond ontology, not contained in either of the two tasks of ontology, being thus even farther from science. (shrink)

Traditionally, being a realist about something means believing in the independent existence of that something. In this line of thought, a scientific realist is someone who believes in the objective existence of the entities postulated by our best scientific theories. In metaphysical terms, what does that mean? In ontological terms, i.e., in terms of what exists, scientific realism can be understood as involving the adoption of a scientifically informed ontology. But according to some philosophers, a realistic attitude must go beyond (...) ontology. The way in which this requirement has been understood involves providing a metaphysics for the entities postulated by science, that is, answering questions about the nature of what ontology admits to exist. We discuss how two fashionable approaches face the challenge of providing a metaphysics for science: a form of naturalism and the Viking/Toolbox approach. Finally, we present a third way, which adopts the best of both approaches: the meta-Popperian method, which focuses on discarding the wrong alternatives, or better saying, the metaphysical profiles incompatible with certain theories. We present the meta-Popperian method, a metametaphysical method capable of objectively assessing which metaphysical profiles are incompatible with certain scientific theories. For this, we will use quantum mechanics as a case study, presenting some previously obtained results. As our focus is on methodological questions about the relationship between metaphysics and science; with this method, we can see how science can be used to avoid error in metaphysical issues. In our opinion, this would be a way to develop a productive relationship between science and metaphysics. (shrink)

Is identity fundamental to formal systems? Even if a system have no the identity relation, is that concept is not assumed in any way – whether in a metalinguistic or intuitive level? In this paper we shall discuss this issue. Otávio Bueno (2014, 2016) argues against the elimination of identity, holding that this concept is fundamental and non-eliminable (even in does systems that claim to do so). Décio Arenhart Krause and Jonas (2015), by the other hand, have a (...) number of objections to Bueno’s thesis. Firstly, we look at how the concept of identity was accounted in the philosophical tradition, as well as part of its formal account. We will also examine the notion of indiscernibility that, according to the traditional approach to identity, is equivalent to the notion of identity, but (arguably) is not it logically equivalent. Thus, we shall state Krause and Arenhart’s strategy, according to, in a formal system we can eliminate identity in favor of the indiscernibility notion. Finally, we shall expose Bueno’s criticism to such strategy, and then to put forward some objections against it. (shrink)

(Abstract - Inglês) Identity is traditionally taken to be a fundamental notion of our conceptual framework as well as a fundamental metaphysical component of entities. But as far as we make this claim we face ourselves with two problems: what is identity? And why would it be fundamental? These questions will guide us towards a discussion put forward by Bueno (2014), Krause and Arenhart (2015). Bueno holds that there are four aspects that make identity being fundamental: (1) identity is (...) assumed in every conceptual system; (2) it is required for a minimal characterisation of being an individual; (3) it cannot be defined; and (4) identity is required for quantification. On the other hand, Krause and Arenhart refuse the thesis that identity is fundamental replying to Bueno's arguments. In this dissertation we will deal with this debate. In the introduction we will deal with the first problem – what is identity? –, showing how this concept is traditionally understood, either for its metaphysical characteristics as for its formal account. After that we will deal with each of the four aspects defended by Bueno and challenged by Krause and Arenhart. After a critical presentation of each position we will also provide other arguments for the current debate. Finally we will outline an alternative view to those defended throughout this work. -/- (Resumo - Português) Tradicionalmente a identidade é adotada como uma noção fundamental de nosso arcabouço conceitual e como um componente metafísico fundamental das entidades. Mas logo ao fazermos essa afirmação nos deparamos com dois problemas: O que é a identidade? E por que ela seria fundamental? Estas perguntas irão nos guiar à discussão conduzida por Otávio Bueno (2014), Décio Krause e Jonas Arenhart (2015). Bueno defende que há quatro aspectos que fazem a identidade ser fundamental: (1) A identidade é pressuposta em todo sistema conceitual; (2) é requerida para uma caracterização mínima de indivíduo; (3) não pode ser definida; e (4) a identidade é requerida para a quantificação. Por outro lado, Krause e Arenhart recusam a tese de que a identidade seja fundamental, respondendo aos argumentos de Bueno. Neste trabalho iremos tratar desse debate. Na introdução iremos tratar do primeiro problema – O que é a identidade? –, mostrando como este conceito é tradicionalmente compreendido, tanto suas características metafísicas como também seu tratamento formal. Posteriormente iremos tratar de cada um dos quatro aspectos defendidos por Bueno e atacados por Krause e Arenhart. Além da exposição crítica de cada posição iremos também oferecer outros argumentos para o debate atual. Ao final iremos esboçar uma posição alternativa às defendidas ao longo do texto. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Spinoza and the Theory of Organism HANS JONAS I CARTESIANDUALISMlanded speculation on the nature of life in an impasse: intelligible as, on principles of mechanics, the correlation of structure and function became within the res extensa, that of structure-plus-function with feeling or experience (modes of the res cogitans) was lost in the bifurcation, and thereby the fact of life itself became unintelligible at the same time that the (...) explanation of its bodily performance seemed to be assured. The impasse became manifest in Occasionalism : its tour de force of an extraneous, divine "synchronization" of the outer and the inner world (the latter denied to animals) not only suffered from its extreme artificiality, the common failing of such ad hoc constructions, but even at so high a cost failed to accomplish its theoretical purpose by its own terms. For the animal machine, like any machine, raises beyond the question of the "how" that of the "what for" of its functioning---of the purpose for which it had thus been constructed by its maker.1 Its performance, however devoid of immanent teleology, must serve an end, and that end must be someone's end. This end may (directly) be itself, as indeed Descartes had implied when declaring self-preservation to be the effect of the functioning of the organic automaton. In that case the existence as such of the machine would be its end--either terminally, or in turn to benefit something else. In the former case, the machine would have to be more than a machine, for a mere machine cannot enioy its existence. But since, by the rigorous conception of the res extensa, it cannot be more than a machine, its function and/or existence must serve something other than itself. Automata in Descartes ' time were mainly for entertainment (rather than work). But the raison d'etre of the living kingdom could not well be seen in God's indulging his mechanical abilities or in the amusement of celestial spectators--especially since mere complexity of arrangement does not create new quality and thus add something to the unrelieved sameness of the simple substratum that might enrich the spectrum of being. For quality, beyond the primitive determinations of the extended per se, is the subjective creature of sensation, the confused representation of quantity in a mind; and thus organisms cannot harbor it because as mere machines they lack mentality, and pure spirits cannot because they lack sensuality, or the privilege of confusion and thereby of illusion with its possible enjoyment. And as to their intellectual enjoyment, even that, deprived of the thrill of discovery by the same token, would pale in the contemplation of what to sufficiently large The concept of "machine," adopted for its strict confinementto efficientcause, is still a finalisticconcept,even thoughthe final cause is no longer internal to the entity, as a mode of its own operation,but external to it as antecedent design. [43] 44 HISTORY OF PHILOSOPHY intellects is nothing but the ever-repeated exemplification of the same few, elementary (and ultimately trivial) truths. There remained, then, the time-honored--Stoic as well as Christian--idea that plants and animals are for the benefit of Man. Indeed, since the existence of a living world is the necessary condition for the existence of any of its members, the self-justifying nature of at least one such member (= species) would justify the existence of the whole. In Stoicism, Man provided this end by his possession of reason, which makes him the culmination of a terrestrial scale of being that is also self-justifying throughout all its grades (the end as the best of many that are good in degrees) ; in Christianity, by his possession of an immortal soul, which makes him the sole imago Dei in creation (the end as the sole issue at stake) ; and Cartesian dualism radicalized this latter position by making man even the sole possessor of inwardness or "soul" of any kind, thus the only one of whom "end" can meaningfully be predicated as he alone can entertain ends. All other life then, the product of physical necessity, can be considered his means. However, this traditional idea, in its anthropocentric vanity never a... (shrink)

The counterfactual tradition to defining actual causation has come a long way since Lewis started it off. However there are still important open problems that need to be solved. One of them is the (in)transitivity of causation. Endorsing transitivity was a major source of trouble for the approach taken by Lewis, which is why currently most approaches reject it. But transitivity has never lost its appeal, and there is a large literature devoted to understanding why this is so. Starting from (...) a survey of this work, we will develop a formal analysis of transitivity and the problems it poses for causation. This analysis provides us with a sufficient condition for causation to be transitive, a sufficient condition for dependence to be necessary for causation, and several characterisations of the transitivity of dependence. Finally, we show how this analysis leads naturally to several conditions a definition of causation should satisfy, and use those to suggest a new definition of causation. (shrink)

Two systems of belief change based on paraconsistent logics are introduced in this article by means of AGM-like postulates. The first one, AGMp, is defined over any paraconsistent logic which extends classical logic such that the law of excluded middle holds w.r.t. the paraconsistent negation. The second one, AGMo , is specifically designed for paraconsistent logics known as Logics of Formal Inconsistency (LFIs), which have a formal consistency operator that allows to recover all the classical inferences. Besides the three usual (...) operations over belief sets, namely expansion, contraction and revision (which is obtained from contraction by the Levi identity), the underlying paraconsistent logic allows us to define additional operations involving (non-explosive) contradictions. Thus, it is defined external revision (which is obtained from contraction by the reverse Levi identity), consolidation and semi-revision, all of them over belief sets. It is worth noting that the latter operations, introduced by S. Hansson, involve the temporary acceptance of contradictory beliefs, and so they were originally defined only for belief bases. Unlike to previous proposals in the literature, only defined for specific paraconsistent logics, the present approach can be applied to a general class of paraconsistent logics which are supraclassical, thus preserving the spirit of AGM. Moreover, representation theorems w.r.t. constructions based on selection functions are obtained for all the operations. (shrink)

Let intentionalism be the view that what proposition is expressed in context by a sentence containing indexicals depends on the speaker’s intentions. It has recently been argued that intentionalism makes communicative success mysterious and that there are counterexamples to the intentionalist view in the form of cases of mismatch between the intended interpretation and the intuitively correct interpretation. In this paper, I argue that these objections can be met, once we acknowledge that we may distinguish what determines the correct interpretation (...) from the evidence that is available to the audience, as well as from the standards by which we judge whether or not a given interpretation is reasonable. With these distinctions in place, we see that intentionalism does not render communicative success mysterious, and that cases of mismatch between the intended interpretation and the intuitively correct one can easily be accommodated. The distinction is also useful in treating the Humpty Dumpty problem for intentionalism, since it turns out that this can be treated as an extreme special case of mismatch. (shrink)

The goal of this paper is to present a new reconstruction of Aristotle's assertoric logic as he develops it in Prior Analytics, A1-7. This reconstruction will be much closer to Aristotle's original...

This paper sets out to undermine the view that a commitment to the early modern conception of the mind as immortalized in Ryle’s metaphor of the (Cartesian) ghost in the machine and in Quine’s metaphor of the (Lockean) myth of the museum is required to articulate a defence of the sui generis character of humanistic explanations. These powerful metaphors have not only contributed to undermining the claim for methodological pluralism by caricaturizing the arguments for disunity in the sciences; they have (...) also, and more worryingly, planted red herrings that have diverted attention away from the genuine issues at stake. This paper is an exercise in removing these false clues to reveal what the claim for the autonomy of humanistic explanations really amounts to. (shrink)

In the debate over what determines the reference of an indexical expression on a given occasion of use, we can distinguish between two generic positions. According to the first, the reference is determined by internal factors, such as the speaker’s intentions. According to the second, the reference is determined by external factors, like conventions or what a competent and attentive audience would take the reference to be. It has recently been argued that the first position is untenable, since there are (...) cases of mismatch where the intuitively correct reference differs from the one that would be determined by the relevant internal factors. The aim of this paper is to show that, contrary to this line of argument, it is the proponent of the second position that should be worried, since this position yields counterintuitive consequences regarding communicative success in cases of mismatch. (shrink)

I argue that recent attempts to deflect Access Problems for realism about a priori domains such as mathematics, logic, morality, and modality using arguments from evolution result in two kinds of explanatory overkill: the Access Problem is eliminated for contentious domains, and realist belief becomes viciously immune to arguments from dispensability, and to non-rebutting counter-arguments more generally.

The main goal of this paper is to work out Quine's account of explication. Quine does not provide a general account but considers a paradigmatic example which does not fit other examples he claims to be explications. Besides working out Quine's account of explication and explaining this tension, I show how it connects to other notions such as paraphrase and ontological commitment. Furthermore, I relate Quinean explication to Carnap's conception and argue that Quinean explication is much narrower because its main (...) purpose is to be a criterion of theory choice. (shrink)

According to the person-affecting view, the ethics of welfare should be cashed out in terms of how the individuals are affected. While the narrow version fails to solve the non-identity problem, the wide version is subject to the repugnant conclusion. A middle view promises to do better – the Interpersonal Comparative View of Welfare (ICV). It modifies the narrow view by abstracting away from individuals’ identities to account for interpersonal gains and losses. The paper assesses ICV’s merits and flaws. ICV (...) solves the non-identity problem, avoids the repugnant conclusion, and seems to accommodate the person-affecting intuition. But it cuts too many things along the way: ICV obstructs the advantage of the wide view to account for all future individuals’ welfare, abandons the intuitions that underlie the narrow view, and even violates its own presuppositions by turning out to be merely pseudo person-affecting. (shrink)

What is it that makes a mental state conscious? Recent commentators have proposed that for Kant, consciousness results from differentiation: A mental state is conscious insofar as it is distinguished, by means of our conceptual capacities, from other states and/or things. I argue instead that Kant’s conception of state consciousness is sensory: A mental state is conscious insofar as it is accompanied by an inner sensation. Interpreting state consciousness as inner sensation reveals an underappreciated influence of Crusius on Kant’s view, (...) solves some long-standing puzzles concerning Kant’s difficult doctrine of self-affection, and sheds light on his theory of inner experience. (shrink)

Aristotle counts as the founder of formal logic. The logic he develops dominated until Frege and others introduced a new logic. This new logic is taken to be more powerful and better capable of capturing inference patterns. The new logic differs from Aristotelian logic in significant respects. It has been argued by Fred Sommers and Hanoch Ben-Yami that the new logic is not well equipped as a logic of natural language, and that a logic closer to Aristotle's is better suited (...) for this task. Each of them developed their own formalism - Sommers in form of term logic, Ben-Yami in form of his Quantified Argument Calculus (QUARC). I discuss Aristotle's logic - a term logic - and attempt a comparison between Aristotelian logic and (i) the new logic, (ii) Sommers' term logic, and (iii) Ben-Yami's QUARC. I consider differences between the systems, and show how they are related to and diverge from the new logic. (shrink)

*Winner of the American Philosophical Association's 2020 Essay Prize in Latin American Thought* This essay offers a novel account of the secularity of Latin American liberation philosophy. It challenges the accepted notion that liberation philosophy applies the methods and approaches of Latin American liberation theology to the philosophical arena, thus putting liberation theology on secular grounds. While this formulation is true insofar as liberation philosophy is not bound by the hermeneutics of any particular religious tradition, this formulation could be misconstrued (...) given that liberation philosophy does not premise such secularization in an undialectical understanding of secularity as secularism that disavows religion. Rather, liberation philosophy’s secularity is dialectical in that it requires constant engagement with re-ligion, not in the hermeneutics of any specific tradition but with “the traditional question of the Absolute.” Due to this often-misunderstood element of liberation philosophy, it has frequently been “ghettoized and relegated to the ‘safe’ area of theological studies,” as Eduardo Mendieta argues. However, I contend that liberation philosophy’s secular grounds offer an original contribution to philosophy as a decolonial and postsecularist liberation philosophy, one that conceives of secularism as an aspect of coloniality to be overcome, an obstacle rather than a benefit for Latin American philosophers seeking to gain a better understanding of our historical conditions. (shrink)

Autonomy has been central to moral and political philosophy for millenia, and has been positioned as a critical aspect of both justice and wellbeing. Research in psychology supports this position, providing empirical evidence that autonomy is critical to motivation, personal growth and psychological wellness. Responsible AI will require an understanding of, and ability to effectively design for, human autonomy (rather than just machine autonomy) if it is to genuinely benefit humanity. Yet the effects on human autonomy of digital experiences are (...) neither straightforward nor consistent, and are complicated by commercial interests and tensions around compulsive overuse. This multi-layered reality requires an analysis that is itself multidimensional and that takes into account human experience at various levels of resolution. We borrow from HCI and psychological research to apply a model (“METUX”) that identifies six distinct spheres of technology experience. We demonstrate the value of the model for understanding human autonomy in a technology ethics context at multiple levels by applying it to the real-world case study of an AI-enhanced video recommender system. In the process we argue for the following three claims: 1) There are autonomy-related consequences to algorithms representing the interests of third parties, and they are not impartial and rational extensions of the self, as is often perceived; 2) Designing for autonomy is an ethical imperative critical to the future design of responsible AI; and 3) Autonomy-support must be analysed from at least six spheres of experience in order to approriately capture contradictory and downstream effects. (shrink)

According to extension-shifting theories of vagueness, the extensions of vague predicates have sharp boundaries, which shift as a function of certain psychological factors. Such theories have been claimed to provide an attractive explanation of the appeal of soritical reasoning. I challenge this claim: the demand for such an explanation need not constrain the semantics of vague predicates at all.

In this paper, I argue that Amie Thomasson’s Easy Ontology rests on a vicious circularity that is highly damaging. Easy Ontology invokes the idea of application conditions that give rise to analytic entailments. Such entailments can be used to answer ontological questions easily. I argue that the application conditions for basic terms are only circularly specifiable showing that Thomasson misses her self-set goal of preventing such a circularity. Using this circularity, I go on to show that Easy Ontology as a (...) whole collapses. (shrink)

This paper deals with the deuteros plous, literally ‘the second voyage’, proverbially ‘the next best way’, discussed in Plato’s Phaedo, the key passage being Phd. 99e4-100a3. I argue that (a) the ‘flight into the logoi’ can have two different interpretations, a standard one and a non-standard one. The issue is whether at 99e-100a Socrates means that both the student of erga and the student of logoi consider images (‘the standard interpretation’), or the student of logoi does not consider images but (...) that “consistency should suffice for truth” (‘the non-standard interpretation’); (b) the non-standard one implies the problem of the hypothesis, a problem analogous to the problem of the elenchus; (c) there is a structural analogy between Descartes’ ontological argument for the existence of God in his 5th Meditation and the final proof for the immortality of the soul in the Phaedo. (shrink)

This paper questions the adequacy of the explicit cancellability test for conversational implicature as it is commonly understood. The standard way of understanding this test relies on two assumptions: first, that that one can test whether a certain content is conversationally implicated, by checking whether that content is cancellable, and second, that a cancellation is successful only if it results in a felicitous utterance. While I accept the first of these assumptions, I reject the second one. I argue that a (...) cancellation can succeed even if it results in an infelicitous utterance, and that unless we take this possibility into account we run the risk of misdiagnosing philosophically significant cases. (shrink)

Hegel insists that the category ‘nature’, expressed in relation to the ideal of aesthetic beauty, is not nature as such but a supplementary deviation coloured by the subjective position from which this ‘nature’ is posited. We cannot distinguish nature ‘in itself’ from the ideological-artistic conditions of the distorted ‘use’ of nature. Nature exists to us only by reference to what is subjectively treated as non-natural. A similar relation is posited by Lacan in his famous assertion that ‘there is no sexual (...) relation’. For Freud and Lacan, the ‘all too human’ sexual drive derives from a deviated/distorted enjoyment of the initial failure to enjoy a purely natural sexual relation: an inevitably castrated enjoyment, where ‘natural’ sexuality is revealed as impossible. In other words, sexuality is for Lacan and Freud its own distortion of the category of ‘natural’. Sexuality is a perpetually distorted and abnormal form of enjoyment, for which the alternative is not ‘normal/natural enjoyment’, but rather the negative state of a fundamental lack of any relation. Through Hegel and sexuality, this paper argues that the unavoidable misuse of nature is not caused by improper application/categorisation, but instead reflects an internal incompleteness or indeterminacy in nature as a category. (shrink)

The existence of fundamental moral disagreements is a central problem for moral realism and has often been contrasted with an alleged absence of disagreement in mathematics. However, mathematicians do in fact disagree on fundamental questions, for example on which set-theoretic axioms are true, and some philosophers have argued that this increases the plausibility of moral vis-à-vis mathematical realism. I argue that the analogy between mathematical and moral disagreement is not as straightforward as those arguments present it. In particular, I argue (...) that pluralist accounts of mathematics render fundamental mathematical disagreements compatible with mathematical realism in a way in which moral disagreements and moral realism are not. 11. (shrink)

Not only is freedom a shared concern of Sartre and Schelling, which would not be anything particularly unique, but for both philosophers, freedom must be articulated out of an ontological ground, or within the confines of an ontological system. A contradiction nevertheless appears to arise regarding the “orientation” of Sartre and Schelling’s respective “ontologies of freedom”: the freedom of Sartre, reflecting a contemporary stoic-inspired doctrine, is directed toward the future, while for Schelling, with affinities to the temporal logic of psychoanalysis, (...) freedom is oriented toward the past. This article presents both Sartre and Schelling’s ontological reasoning out of which either a progressively oriented freedom (the freedom to negate the present in the name of future “possibles”) or a retrogressively oriented freedom (the freedom to determine the ground of the present out of an indefinite, a-temporal becoming), before attempting to resolve this contradiction in the temporality of freedom by examining the position and role of the negative (of negation, contradiction, or nothingness), as either secondary or primary, within the ontology of each respective philosopher. (shrink)

This paper explores why victims who provoke their aggressors seem to compromise their right to self-defence. First, it argues that one proposed answer – the victims are partially responsible for the threats they face – fails. It faces counterexamples that it cannot adequately address. Second, the paper develops the Protective Duty View according to which we incur protective duties towards others when we interfere with their reasonable opportunities to avoid suffering harm. Since provokers wrongfully interfere with prospective aggressors’ opportunities to (...) avoid posing a threat and thus to be defensively harmed, they incur protective duties towards the aggressors. This can require that they significantly limit or even refrain from using defensive force. The paper ends by drawing out some of the implications of the Protective Duty View for issues related to war and punishment. (shrink)

A Revisão de Crenças estuda como agentes racionais mudam suas crenças ao receberem novas informações. O sistema AGM, trabalho mais influente desta área apresentado por Alchourrón, Gärdenfos e Makinson, postula critérios de racionalidade para os diferentes tipos de mudança de crenças e oferece construções explícitas para tais - a equivalência entre os postulados e operações é chamado de teroema da representação. Trabalhos recentes mostram como o paradigma AGM pode ser compatível com diferentes lógicas não-clássicas, o que é chamado de AGM-compatibilidade (...) - este é o caso da família de lógicas paraconsistentes que analisamos, as Lógicas da Inconsistência Formal (LFIs, da sigla em inglês). A despeito da AGM-compatibilidade, ao se partir de uma nova lógica sua racionalidade subjacente deve ser entendida e sua linguagem deve ser efetivamente usada. Propomos assim novas construções que de fato capturam a intuição presente na LFIs - é o que chamamos de sistema AGMo. Com isso, possibilitamos a estas lógicas uma nova interpretação, na esteira da epistemologia formal. Em uma abordagem alternativa, ao se partir da AGM-compatibilidade os resultados AGM podem ser diretamente aplicados às LFIs - o que chamamos de sistema AGMp. Em ambas abordagens, provamos os respectivos teoremas da representação sempre que necessário. (shrink)

The aim of this paper is to introduce, elucidate and defend the usefulness of a variant of grounding, or metaphysical explanation, that has the feature that the grounds explain of some states of affairs that one of them obtains without explaining which one obtains. I will dub this variant arbitrary grounding. After informally elucidating the basic idea in the first section, I will provide three metaphysical hypotheses that are best formulated in terms of arbitrary grounding in the second section. The (...) third section will be concerned with the relation between arbitrary grounding and non-arbitrary grounding. The fourth section will compare arbitrary grounding to two extant proposals in the literature. (shrink)

A mudança da concepção do critério geral da significação que tinha Wittgenstein no seu período intermediário para a concepção dos critérios de significação do seu período posterior justifica que se fale numa correlativa mudança na aplicabilidade do conceito de ‘uso’. Acompanhar esta mudança é importante para se caracterizar o âmbito do pragmático tal como Wittgenstein o concebe, e bem assim o tipo de investigação sobre os fundamentos do simbolismo linguístico e sobre a ligação entre linguagem e mundo que esse filósofo (...) advoga como adequada. Este artigo pretende circunscrever algumas das novas questões que, no período intermediário de Wittgenstein , conduziriam a tal mudança conceptual. (shrink)

This entry considers the philosophical subject called 'metaphysics'. There have been many conceptions of metaphysics, and metaphysics has faced severe criticism throughout the history of philosophy and continues to do so. Besides discussing some major trends in analytic metaphysics - understood as 'metaphysics done by analytic philosophers' - we consider some of the criticisms and possible responses.

Modal dispositionalists hold that dispositions provide the foundation of metaphysical necessity and possibility. According to the kind of modal dispositionalism that can be found in the present literature, a proposition p is possible just in case some things are disposed to be such that p. In the first part of this paper I show that combining this classic form of dispositionalism with the assumptions that the laws of nature are necessary and deterministic and that all dispositions are forward-looking in time (...) leads to the unattractive conclusion that every truth is necessary. I argue that the classic dispositionalist should be troubled by this result and in the second part of the paper I suggest a novel variant of dispositionalism that avoids it. This extended form of dispositionalism allows that some propositions are only indirectly underwritten by dispositions. (shrink)

Reasons for action is a widely employed methodology in practical philosophy, and especially in moral philosophy. Reasons are facts that explain and justify actions. But, conceptually, if reasons were causes, incontinent actions would be impossible. When an agent ranks an evaluation about what to do as his best judgement, it entails that he has a reason for acting as that judgement prescribes. But when an agent acts incontinently, he acts in accordance to an intention that is not aligned with his (...) best evaluative judgement. Yet, if the agent’s best evaluative judgement provides him a reason for action, this reason should also be his strongest reason, and therefore, the strongest cause. How then can it be possible that an agent incontinently acts according to a reason of inferior causal strength? In this paper, I analyze how Davidson’s argument for the possibility of incontinent actions interacts with his causal theory of actions. I argue that Davidson’s proposal does not fully respect the two principles of intentional rationality, that he himself claims to be compelling. Lastly, I sketch some initial steps that might be helpful to drawing more precise conceptual distinctions in terms of the rationality of incontinent actions. (shrink)

This article asks the question “Why did Plato not write the ‘unwritten doctrine’?” and answers it by citing a combination of two obstacles. The first derives from the limitations of the episteme available to an embodied soul about the essence of the good. Even if the dialectician has access to some kind of knowledge, the mismatch between the unchanging essence of the good and the precarious logoi which aim to identify it (and allow others some measure of access to it) (...) can never fully be overcome. At best, Socrates (or Plato) can lead souls to an incomplete account of it: It is possible that even the most expert dialectician can only have a claim to knowledge, but no absolute certainty. Another obstacle lies in the audience or readership itself: No shortcut to understanding is possible, and yet a mere written presentation, which is all they have, is just such a shortcut, and so represents an empty promise. In memory of Charles H. Kahn (1928–2023), a letter of his from September 5, 1989, concerning the question “Why did Plato not write the ‘unwritten doctrine’?” is published, along with some comments. (shrink)

Does Kant hold that we can have intuitions independently of concepts? A striking passage from § 13 of the Critique of Pure Reason appears to say so explicitly. However, it also conjures up a scenario where the categories are inapplicable to objects of intuition, a scenario presumably shown impossible by the following Transcendental Deduction. The seemingly non-conceptualist claim concerning intuition have therefore been read, by conceptualist interpreters of Kant, as similarly counterpossible. I argue that the passage in question best supports (...) an underappreciated middle position where intuition requires a pre-conceptual use of the understanding. Such pre-conceptual use of the understanding faces both textual and systematic objections. I show that these objections can be rebutted. (shrink)